Intuitionistic Logic is a Connexive Logic

Abstract We show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic ( $$\textrm{CHL}$$ CHL ), hereby introduced as an example of a strongly connexive with intuitive semantics. use the reverse algebraisation paradigm: presented assertional point regular variety (whose structure theory examined in detail) turns out be term algebras. provide Hilbert-style and Gentzen-style proof systems for ; moreover, we suggest possible computational interpretation its conditional, revisit Kapsner’s idea superconnexivity.